[IA64] Cleanup: remove useless #ifndef and indentation.

Signed-off-by: Tristan Gingold <tgingold@free.fr>

diff --git a/xen/arch/ia64/vmx/vmx_init.c b/xen/arch/ia64/vmx/vmx_init.c
index 3d3a36a17067848aced49466d547630937fad5f1..a35367adb840beb292a3ddea850e671a684b3f66 100644 (file)
--- a/xen/arch/ia64/vmx/vmx_init.c
+++ b/xen/arch/ia64/vmx/vmx_init.c
@@ -316,11 +316,9 @@ vmx_final_setup_guest(struct vcpu *v)
        /* Per-domain vTLB and vhpt implementation. Now vmx domain will stick
         * to this solution. Maybe it can be deferred until we know created
         * one as vmx domain */
-#ifndef HASH_VHPT
        rc = init_domain_tlb(v);
        if (rc)
                return rc;
-#endif
        vmx_create_event_channels(v);
 
        /* v->arch.schedule_tail = arch_vmx_do_launch; */

diff --git a/xen/arch/ia64/vmx/vmx_interrupt.c b/xen/arch/ia64/vmx/vmx_interrupt.c
index b9da63ccac50a41ee690366c6fc0e3d2f7b7343a..2656a049de85fe7d7251860a876b0ed4042f1e16 100644 (file)
--- a/xen/arch/ia64/vmx/vmx_interrupt.c
+++ b/xen/arch/ia64/vmx/vmx_interrupt.c
@@ -220,8 +220,6 @@ _vhpt_fault(VCPU *vcpu, u64 vadr)
     /* If vPSR.ic, IFA, ITIR, IHA*/
     set_ifa_itir_iha (vcpu, vadr, 1, 1, 1);
     inject_guest_interruption(vcpu,IA64_VHPT_TRANS_VECTOR);
-
-
 }
 
 /*
@@ -425,4 +423,3 @@ data_access_rights(VCPU *vcpu, u64 vadr)
     set_ifa_itir_iha (vcpu, vadr, 1, 1, 0);
     inject_guest_interruption(vcpu, IA64_DATA_ACCESS_RIGHTS_VECTOR);
 }
-